$\forall$$i$, $j$:Id. $i$ $=$ $j$ $\Leftrightarrow$ $i$ = $j$